Formalizing fairness
نویسندگان
چکیده
Algorithmic fairness aims to remedy issues stemming from algorithmic bias.
منابع مشابه
On formalizing fairness in prediction with machine learning
Machine learning algorithms for prediction are increasingly being used in critical decisions aecting human lives. Various fairness formalizations, with no rm consensus yet, are employed to prevent such algorithms from systematically discriminating against people based on certain aributes protected by law. e aim of this article is to survey how fairness is formalized in the machine learning ...
متن کاملFormalizing Dijkstra
We present a HOL formalization of the foundational parts of Dijkstra’s classic monograph “A Discipline of Programming”. While embedding programming language semantics in theorem provers is hardly new, this particular undertaking raises several interesting questions, and perhaps makes an interesting supplement to the monograph. Moreover, the failure of HOL’s first order proof tactic to prove one...
متن کاملToward Formalizing
Current literature on database transaction recovery reveals a semantic gap between high-level requirements (such as the all-or-nothing property) and the low-level descriptions of how these requirements are implemented (in terms of buuers and their policies, volatile and persistent storage, shadows, etc.). At the same time, fast growing demands for recovery in both traditional and advanced trans...
متن کاملFormalizing Affordance
The idea that to perceive an object is to perceive its affordances—that is, the interactions of the perceiver with the world that the object supports or affords—is attractive from the point of view of theories in cognitive science that emphasize the fundamental role of actions in representing an agent’s knowledge about the world. However, in this general form, the notion has so far lacked a for...
متن کاملFormalizing adequacy
Adequacy is an important criterion for judging the correctness of formal reasoning. The issue is particularly subtle in the expansive case of approaches to languages with name-binding. We posit that adequacy of a novel representation technique is best addressed by formalizing an isomorphism or, more generally, an interpretation explicating the new approach in terms of a more conventional one. W...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of The ACM
سال: 2022
ISSN: ['1557-7317', '0001-0782']
DOI: https://doi.org/10.1145/3542815